Avionics software - PDFSEARCH.IO - Document Search Engine

Avionics software
Results: 266

#	Item
111	StackAnalyzer Proving the Absence of Stack Overflows AbsInt GmbH 2012 Add to Reading List Source URL: www.absint.com Language: English - Date: 2012-04-23 04:44:53 Software Avionics Embedded systems Software testing DO-178B Functional Safety Astrée DO-178C IEC 61508 Software development Safety Software requirements
112	iRDC intelligent Remote Data Concentrator By AcQ Inducom Based on the AcQ Inducom LpDAS technology, the intelligent Remote Data Concentrator (iRDC) is Add to Reading List Source URL: www.acq.nl Language: English - Date: 2013-07-29 07:31:33 Standards System software Avionics Full-Duplex Switched Ethernet Industrial Ethernet ARINC Electronics PikeOS Embedded system Aircraft instruments Technology Avionics
113	Micriµm, Inc. © Copyright 2001, Chip Downing All Rights reserved Software Safety Certification Primer Add to Reading List Source URL: dsp-book.narod.ru Language: English - Date: 2013-05-06 00:56:42 Electronics Security Embedded systems Software requirements Risk DO-178B DO-248B Functional Safety Avionics software Safety Avionics Software development
114	ADS-B SITF/9 – WP[removed]International Civil Aviation Organization Add to Reading List Source URL: www.icao.int Language: English - Date: 2013-04-30 16:53:04 Avionics Automatic dependent surveillance-broadcast Computer programming Ada Air traffic control Computing Software engineering
115	Spatial Engineering Research Centre Products and Services POINT Software A flexible software package for integrating GPS and INS data. Add to Reading List Source URL: www.serc.canterbury.ac.nz Language: English - Date: 2012-11-11 18:33:21 Avionics Aircraft instruments Satellite navigation systems Global Positioning System Satellite navigation GPS/INS Inertial measurement unit Kalman filter Pseudorange Technology Navigation Geodesy
116	SCADE® Training Program September 2014 Page 1 Add to Reading List Source URL: www.esterel-technologies.com Language: English - Date: 2014-09-27 10:38:27 Embedded systems Formal methods Esterel Technologies Aircraft instruments Software requirements Avionics Cockpit display system ARINC 661 Esterel Software development Computing Electronics
117	Abstract Interpretation Founded in 1998, AbsInt is a privately-held company located in Saarbrücken, Germany. AbsInt provides advanced development tools and tools for validation, verification, and certification of safety Add to Reading List Source URL: www.absint.com Language: English - Date: 2014-05-14 04:39:47 Technology Avionics Safety Software requirements Pharmaceutical industry Astrée DO-178B Worst-case execution time Formal verification Embedded systems Software development Computing
118	Media contacts: Janice Hughes, Hughes Communications, Inc., Media Relations Tel : +[removed], Mobile: +[removed], Email: [removed] Mark James, LDRA, Marketing Manager Tel: +[removed]9300, Em Add to Reading List Source URL: www.ldra.com Language: English - Date: 2015-03-26 09:28:10 Embedded systems Software requirements Technology Electronics Software engineering DO-178B DO-178C Liverpool Data Research Associates DO-254 Software development Safety Avionics
119	Frédéric Pothon ACG Solutions DO-178C/ED-12C versus DO-178B/ED-12B Add to Reading List Source URL: www.adacore.com Language: English - Date: 2012-10-25 12:08:54 Safety Electronics Computing Software DO-248B DO-178C DO-178B Integrity Software testing Software requirements Avionics Embedded systems
120	30th JuneSAR Formation Flying Annex 13. Garada Project Publications, Presentations and Publicity Add to Reading List Source URL: www.garada.unsw.edu.au Language: English - Date: 2013-06-27 00:57:48 Spaceflight Avionics Geodesy GPS Software GNSS Receiver Satellite navigation High Sensitivity GPS Institute of Navigation Quasi-Zenith Satellite System Technology Satellite navigation systems Navigation

UPDATE